25 Years of Model Checking : History, Achievements, Perspectives
Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model ...
Lee mas
A Common Consolidated Corporate Tax Base for Europe - Eine einheitliche Körperschaftsteuerbemessungsgrundlage für Europa
This book contains the proceedings of the International Tax Conference on the c- th th mon consolidated corporate tax base ...
Lee mas
A History of Parametric Statistical Inference from Bernoulli to Fischer, 1713-1935
This is a history of parametric statistical inference, written by one of the most important historians of statistics of the ...
Lee mas
A Natural Introduction to Probability Theory
According to Leo Breiman (1968), probability theory has a right and a left hand. The right hand refers to rigorous mathematics, ...
Lee mas
A Practical Guide for SystemVerilog Assertions
SystemVerilog language consists of three very specific areas of constructs - design, assertions and testbench. This guide ...
Lee mas
A Risk-Benefit Perspective on Early Customer Integration
Customer integration in the early innovation phase has been considered the method of choice in theory and practice. Growing ...
Lee mas
A Roadmap for Formal Property Verification
This book develops the answers to these questions and fits them into a roadmap for formal property verification – a roadmap ...
Lee mas
A Structural Framework for the Pricing of Corporate Securities
This book is the first comprehensive treatment, of structural credit risk models for the simultaneous and consistent pricing ...
Lee mas
ADVANCES AND TECHNICAL STANDARDS IN NEUROSURGERY, Vol. 31
Part of the series sponsored by the European Association of Neurosurgical Societies. The Advances section presents fields ...
Lee mas
Accelerator Programming Using Directives
This book constitutes the refereed post-conference proceedings of the 6th International Workshop on Accelerator Programming ...
Lee masAccess to Medicines and Vaccines : Implementing Flexibilities Under Intellectual Property Law
This book is the outcome of a Global Forum on Innovation, Intellectual Property and Access to Medicines held in December ...
Lee mas
Accounting for Deferred Income Taxes / Bobby Carmichael
Incorporates the new tax rates and other impacts of the Tax Cuts and Jobs Act and will assist you in understanding FASB ASC ...
Lee masAccounting for Governmental & Nonprofit Entities / Jacqueline Reck, Suzanne Lowensohn, Daniel Neely
The book gives generations of instructors and students a comprehensive knowledge of the specialized accounting and financial ...
Lee mas
Ad-Hoc Networking Towards Seamless Communications
Ad-Hoc Networking Towards Seamless Communications is dedicated to an area that attracts growing interest in academia and ...
Lee mas
Adaptive Filtering : Algorithms and Practical Implementation
The book presents basic concepts of adaptive signal processing and filtering in a concise and straightforward manner. It ...
Lee mas
Adaptive Low-Power Circuits for Wireless Communications
Adaptive radio transceivers require a comprehensive theoretical framework in order to optimize their performance. Adaptive ...
Lee mas
Adaptive Techniques for Dynamic Processor Optimization : Theory and Practice
This book discusses the different approaches and responses to adaptive techniques used for processor power, frequency and ...
Lee mas
Adaptive Techniques for Mixed Signal System on Chip
Adaptive Techniques for Mixed Signal Sytem on Chip discusses the concept of adaptation in the context of analog and mixed ...
Lee mas
Advanced BDD Optimization
This book gives a modern presentation of the established as well as of recent concepts. Latest results in BDD optimization ...
Lee mas
Advanced Data Warehouse Design : From Conventional to Spatial and Temporal Applications
This book serves as an introduction to the state of the art on data warehouse design, with many references to more detailed ...
Lee mas
